ar X iv : c s . L O / 0 60 80 40 v 1 8 A ug 2 00 6 An Embedding of the BSS Model of Computation in
نویسنده
چکیده
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in the Blum-Shub-Smale (BSS) model on the other. Given a fixed ring structure K we define an extension of Terui’s light affine lambda-calculus typed in LAL (Light Affine Logic) with a basic type for K. We show that this calculus captures the polynomial time function class FP(K): every typed term can be evaluated in polynomial time and conversely every polynomial time BSS machine over K can be simulated in this calculus.
منابع مشابه
ar X iv : n uc l - th / 0 60 80 54 v 1 2 4 A ug 2 00 6 Problems with interpretation of 10 He ground state
L. V. Grigorenko, 3 A. A. Korsheninnikov, and M. V. Zhukov Flerov Laboratory of Nuclear Reactions, JINR, RU-141980 Dubna, Russia Gesellschaft für Schwerionenforschung mbH, Planckstrasse 1, D-64291, Darmstadt, Germany RRC “The Kurchatov Institute”, Kurchatov sq. 1, 123182 Moscow, Russia Department of Physics, Chalmers University of Technology and Göteborg University, S-41296 Göteborg, Sweden (Da...
متن کاملar X iv : n uc l - th / 0 10 80 18 v 1 8 A ug 2 00 1 1 Photon and Electron induced Particle Production on Nuclei ∗
متن کامل
ar X iv : m at h - ph / 0 60 70 40 v 1 2 0 Ju l 2 00 6 Invariant Form of BK - factorization and its Applications
متن کامل
ar X iv : 0 80 3 . 44 39 v 2 [ m at h . D S ] 4 A ug 2 00 8 PERIODIC UNIQUE BETA - EXPANSIONS : THE SHARKOVSKIĬ ORDERING
Let β ∈ (1, 2). Each x ∈ [0, 1 β−1 ] can be represented in the form
متن کاملar X iv : h ep - l at / 0 20 80 60 v 1 2 7 A ug 2 00 2 1 Large N reduction with overlap fermions
We revisit quenched reduction with fermions and explain how some old problems can be avoided using the overlap Dirac operator.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006